expect fun foo()
